The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem
نویسنده
چکیده
In 1981, Paris and Wilkie [21] indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that IΣ0 will both obey and defy the Herbrandized version of the Second Incompleteness Theorem, depending on which of several equivalent definitions of IΣ0 one examines.
منابع مشابه
Some specially formulated axiomizations for ISigma0 manage to evade the Herbrandized version of the Second Incompleteness Theorem
In 1981, Paris and Wilkie [28] indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that some specially formulated axiomizations for IΣ0 can evade the Herbrandized version of the Second Incompleteness Theorem.
متن کاملA generalization of the Second Incompleteness Theorem and some exceptions to it
This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.
متن کاملPassive induction and a solution to a Paris-Wilkie open question
In 1981, Paris and Wilkie raised the open question about whether and to what extent the axiom system IΣ0 did satisfy the Second Incompleteness Theorem under Semantic Tableaux deduction. Our prior work showed that the semantic tableaux version of the Second Incompleteness Theorem did generalize for the most common definition of IΣ0 appearing in the standard textbooks. However, there was an alter...
متن کاملOn the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency
It is known that Equations (1) – (3) are related to both generalizations of Gödel’s Second Incompleteness Theorem and to its boundary-case exceptions. For instance, Equation (1) will enable the Second Incompleteness Theorem to apply to Hilbert deduction. Also, [36, 38] showed that the semantic tableaux version of the Second Incompleteness Theorem generalizes for essentially all axiom systems th...
متن کاملOn the Nature of Gödel’s Second Incompleteness Theorem
In several recent articles, we have shown how such totality conditions are related to both generalizations and boundary-case exceptions for the Second Incompleteness Theorem. For instance, our article [2] showed how essentially all axiom systems recognizing addition and multiplication as “total” functions are unable to prove a theorem affirming their semantic tableaux consistency. In contrast, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 165 شماره
صفحات -
تاریخ انتشار 2006